Hardware-Software Complex for Functional and Parametric Tests of ARM Microcontrollers STM32F1XX

Co-Verification of Hardware and Software for ARM SoC Design

Model Checking Software for Microcontrollers

A method for model checking of microcontroller code is presented. The main objective is to check embedded C code including typical hardware specific ingredients like embedded assembly statements, direct memory accesses, direct register accesses, interrupts, and timers, without any further manual preprocessing. For this purpose, the state space is generated directly from the assembly code that i...

FFT on ARM-Based Low-Power Microcontrollers

This article discusses the processing of signals using fast Fourier transformation in lowpower microcontrollers based on the ARM core. Simple microcontrollers do not support floating point numbers so fixed point data types must be used. Two ways of calculating FFT are analyzed: CMSIS library and special algorithm optimized for use on ARM processors (FFT-ARM). Both methods utilize a radix-4 deci...

Software Tools for the Analysis of Functional Magnetic Resonance Imaging

Functional magnetic resonance imaging (fMRI) has become the most popular method for imaging of brain functions. Currently, there is a large variety of software packages for the analysis of fMRI data, each providing many features for users. Since there is no single package that can provide all the necessary analyses for the fMRI data, it is helpful to know the features of each software package. ...

Validation of drop plate technique for bacterial enumeration by parametric and nonparametric tests

Drop plate technique has a priority and preference compared with the spread plate procedure, because of less time, quantity of media, effort requirement, little incubator space, and less labor intensive. The objective of this research was to compare the accuracy and fidelity of drop plate method vs. spread plate method by parametric and nonparametric statistical tests. For bacterial enumeration...